Comparing homotopy categories

Ju n 20 06 COMPARING HOMOTOPY CATEGORIES

Given a suitable functor T : C → D between model categories, we define a long exact sequence relating the homotopy groups of any X ∈ C with those of TX , and use this to describe an obstruction theory for lifting an object G ∈ D to C. Examples include finding spaces with given homology or homotopy groups.

Stable Homotopy Categories

Introduction. The Freudenthal suspension theorem implies that the set of homotopy classes of continuous maps from one finite complex to another is eventually invariant under iterated suspension of the complexes. In this "stable range" the set of homotopy classes is also well behaved in other ways. For example, it has in a natural way the structure of an abelian group. These stable groups of hom...

Sheafifiable Homotopy Model Categories

If a Quillen model category can be specified using a certain logical syntax (intuitively, “is algebraic/combinatorial enough”), so that it can be defined in any category of sheaves, then the satisfaction of Quillen’s axioms over any site is a purely formal consequence of their being satisfied over the category of sets. Such data give rise to a functor from the category of topoi and geometric mo...

Homotopy Limits for 2-categories

We study homotopy limits for 2-categories using the theory of Quillen model categories. In order to do so, we establish the existence of projective and injective model structures on diagram 2categories. Using these results, we describe the homotopical behaviour not only of conical limits but also of weighted limits. Finally, pseudo-limits are related to homotopy limits. 1. Quillen model structu...

Homotopy colimits in model categories